Automatic ObjectPascal Code Generation from Catalysis Specifications
نویسندگان
چکیده
منابع مشابه
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definition, 2-Components Specifications, 3-Components Internal Design and 4-Components Implementation. In the first step the framework requirements were identified, based on experiences in the development of a cardiology syst...
متن کاملAutomatic Generation of Java Code From Communicating X-machine specifications
The state transition diagrams of the queue and button X-machines The state transition diagram of the lift X-machine v Declaration All sentences or passages quoted in this dissertation from other people's work have been specifically acknowledged by clear cross-referencing to author, work and page(s). Any illustrations which are not the work of the author of this dissertation have been used with ...
متن کاملAutomatic HTML Generation from Formal Hypermedia Specifications
HMBS (Hypermedia Model Based on Statecharts) is a model suitable for specifying highly structured hyperdocuments. HySCharts is an environment that supports the authoring of hyperdocuments based on the HMBS model. It also supports hyperdocument navigation according to a well-defined browsing semantics. In this paper, we propose three strategies for automatically deriving an HTML implementation f...
متن کاملAutomatic Test Cases Generation from Software Specifications
A new technique is proposed in this paper to extend the Integrated Classification Tree Methodology (ICTM) developed by Chen et al. [13] This software assists testers to construct test cases from functional specifications. A Unified Modelling Language (UML) class diagram and Object Constraint Language (OCL) are used in this paper to represent the software specifications. Each classification and ...
متن کاملAutomatic Program Generation from Specifications Using Prolog
This paper describes an automatic program generator which creates PROLOG programs from input/output specifications. The generator takes as input descriptions of the input and output data types, a set of tests, a set of transformations and the input/output relation. Abstract data types are used as models for data. They are defined as sets of terms satisfying a system of equations. The tests, the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: CLEI Electronic Journal
سال: 2002
ISSN: 0717-5000
DOI: 10.19153/cleiej.5.2.5